人工知能の研究者たち③ ロジック・プログラミングのゴッドファーザー J.A.ロビンソン